$\vdash$  $\forall$$P$,$Q$:$\mathbb{P}$. Dec($P$) $\Rightarrow$ Dec($Q$) $\Rightarrow$ Dec($P$ $\Rightarrow$ $Q$)